TermSplicing1.agda:6,19-22
Set₁ !=< Term
when checking that the expression Set has type Term
